prolog_code_generator
